(XEN) Xen version 4.0.1 (Ubuntu 4.0.1-1) (waldi@debian.org) (gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5) ) Tue Oct 12 01:45:45 CEST 2010
(XEN) Bootloader: GRUB 1.98-1ubuntu5
(XEN) Command line: dom0_mem=4096M console=vga loglvl=all guest_loglvl=all
(XEN) Video information:
(XEN)  VGA is text mode 80x25, font 8x16
(XEN)  VBE/DDC methods: V2; EDID transfer time: 2 seconds
(XEN) Disc information:
(XEN)  Found 2 MBR signatures
(XEN)  Found 2 EDD information structures
(XEN) Xen-e820 RAM map:
(XEN)  0000000000000000 - 00000000000a0000 (usable)
(XEN)  0000000000100000 - 00000000cfaa0000 (usable)
(XEN)  00000000cfaa0000 - 00000000cfab6000 (reserved)
(XEN)  00000000cfab6000 - 00000000cfad5c00 (ACPI data)
(XEN)  00000000cfad5c00 - 00000000d0000000 (reserved)
(XEN)  00000000e0000000 - 00000000f0000000 (reserved)
(XEN)  00000000fe000000 - 0000000100000000 (reserved)
(XEN)  0000000100000000 - 0000000230000000 (usable)
(XEN) ACPI: RSDP 000F2400, 0024 (r2 DELL  )
(XEN) ACPI: XSDT 000F248C, 0084 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: FACP CFAD34F8, 00F4 (r3 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: DSDT CFAB6000, 3E0D (r1 DELL   PE_SC3          1 INTL 20050624)
(XEN) ACPI: FACS CFAD5C00, 0040
(XEN) ACPI: APIC CFAD3078, 008A (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SPCR CFAD3104, 0050 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: HPET CFAD3158, 0038 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: MCFG CFAD3194, 003C (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: WD__ CFAD31D4, 0134 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: SLIC CFAD330C, 0176 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: ERST CFAB9F90, 0210 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: HEST CFABA1A0, 027C (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: BERT CFAB9E10, 0030 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: EINJ CFAB9E40, 0150 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) ACPI: TCPA CFAD3490, 0064 (r1 DELL   PE_SC3          1 DELL        1)
(XEN) System RAM: 8186MB (8382720kB)
(XEN) No NUMA configuration found
(XEN) Faking a node at 0000000000000000-0000000230000000
(XEN) Domain heap initialised
(XEN) found SMP MP-table at 000fe710
(XEN) DMI 2.5 present.
(XEN) Using APIC driver default
(XEN) ACPI: PM-Timer IO Port: 0x808
(XEN) ACPI: ACPI SLEEP INFO: pm1x_cnt[804,0], pm1x_evt[800,0]
(XEN) ACPI:                  wakeup_vec[cfad5c0c], vec_size[20]
(XEN) ACPI: Local APIC address 0xfee00000
(XEN) ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
(XEN) Processor #0 7:7 APIC version 20
(XEN) ACPI: LAPIC (acpi_id[0x02] lapic_id[0x01] enabled)
(XEN) Processor #1 7:7 APIC version 20
(XEN) ACPI: LAPIC (acpi_id[0x03] lapic_id[0x02] enabled)
(XEN) Processor #2 7:7 APIC version 20
(XEN) ACPI: LAPIC (acpi_id[0x04] lapic_id[0x03] enabled)
(XEN) Processor #3 7:7 APIC version 20
(XEN) ACPI: LAPIC_NMI (acpi_id[0xff] high edge lint[0x1])
(XEN) ACPI: IOAPIC (id[0x04] address[0xfec00000] gsi_base[0])
(XEN) IOAPIC[0]: apic_id 4, version 32, address 0xfec00000, GSI 0-23
(XEN) ACPI: IOAPIC (id[0x05] address[0xfec10000] gsi_base[256])
(XEN) IOAPIC[1]: apic_id 5, version 32, address 0xfec10000, GSI 256-279
(XEN) ACPI: IOAPIC (id[0x06] address[0xfec10000] gsi_base[64])
(XEN) IOAPIC[2]: apic_id 6, version 32, address 0xfec10000, GSI 64-87
(XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
(XEN) ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
(XEN) ACPI: IRQ0 used by override.
(XEN) ACPI: IRQ2 used by override.
(XEN) ACPI: IRQ9 used by override.
(XEN) Enabling APIC mode:  Flat.  Using 3 I/O APICs
(XEN) ACPI: HPET id: 0x8086a301 base: 0xfed00000
(XEN) PCI: MCFG configuration 0: base e0000000 segment 0 buses 0 - 255
(XEN) PCI: MCFG area at e0000000 reserved in E820
(XEN) Using ACPI (MADT) for SMP configuration information
(XEN) Using scheduler: SMP Credit Scheduler (credit)
(XEN) Detected 2833.376 MHz processor.
(XEN) Initing memory sharing.
(XEN) VMX: Supported advanced features:
(XEN)  - APIC MMIO access virtualisation
(XEN)  - APIC TPR shadow
(XEN)  - Virtual NMI
(XEN)  - MSR direct-access bitmap
(XEN) HVM: ASIDs disabled.
(XEN) HVM: VMX enabled
(XEN) xsave_init: cpu0: cntxt_max_size: 0x240 and states: 00000000:00000003
(XEN) xsave_init: using cntxt_size: 0x240 and states: 00000000:00000003
(XEN) Intel machine check reporting enabled
(XEN) I/O virtualisation disabled
(XEN) xsave_init: cpu1: cntxt_max_size: 0x240 and states: 00000000:00000003
(XEN) xsave_init: cpu2: cntxt_max_size: 0x240 and states: 00000000:00000003
(XEN) xsave_init: cpu3: cntxt_max_size: 0x240 and states: 00000000:00000003
(XEN) Total of 4 processors activated.
(XEN) ENABLING IO-APIC IRQs
(XEN)  -> Using new ACK method
(XEN) ..TIMER: vector=0xF0 apic1=0 pin1=2 apic2=-1 pin2=-1
(XEN) checking TSC synchronization across 4 CPUs: passed.
(XEN) Platform timer is 14.318MHz HPET
(XEN) Allocated console ring of 32 KiB.
(XEN) microcode.c:73:d32767 microcode: CPU1 resumed
(XEN) Brought up 4 CPUs
(XEN) microcode.c:73:d32767 microcode: CPU3 resumed
(XEN) microcode.c:73:d32767 microcode: CPU2 resumed
(XEN) HPET: 4 timers in total, 0 timers will be used for broadcast
(XEN) ACPI sleep modes: S3
(XEN) mcheck_poll: Machine check polling timer started.
(XEN) *** LOADING DOMAIN 0 ***
(XEN)  Xen  kernel: 64-bit, lsb, compat32
(XEN)  Dom0 kernel: 32-bit, PAE, lsb, paddr 0x1000000 -> 0x164f000
(XEN) PHYSICAL MEMORY ARRANGEMENT:
(XEN)  Dom0 alloc.:   0000000224000000->0000000228000000 (1032192 pages to be allocated)
(XEN) VIRTUAL MEMORY ARRANGEMENT:
(XEN)  Loaded kernel: 00000000c1000000->00000000c164f000
(XEN)  Init. ramdisk: 00000000c164f000->00000000c2a34c00
(XEN)  Phys-Mach map: 00000000c2a35000->00000000c2e35000
(XEN)  Start info:    00000000c2e35000->00000000c2e354b4
(XEN)  Page tables:   00000000c2e36000->00000000c2e54000
(XEN)  Boot stack:    00000000c2e54000->00000000c2e55000
(XEN)  TOTAL:         00000000c0000000->00000000c3000000
(XEN)  ENTRY ADDRESS: 00000000c13fd000
(XEN) Dom0 has maximum 4 VCPUs
(XEN) Scrubbing Free RAM: ........................................done.
(XEN) trace.c:89:d32767 calc_tinfo_first_offset: NR_CPUs 128, offset_in_bytes 258, t_info_first_offset 65
(XEN) Xen trace buffers: disabled
(XEN) Std. Loglevel: All
(XEN) Guest Loglevel: All
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen)
(XEN) Freed 176kB init memory.
(XEN) PCI add device 00:00.0
(XEN) PCI add device 00:02.0
(XEN) PCI add device 00:03.0
(XEN) PCI add device 00:04.0
(XEN) PCI add device 00:05.0
(XEN) PCI add device 00:06.0
(XEN) PCI add device 00:07.0
(XEN) PCI add device 00:10.0
(XEN) PCI add device 00:10.1
(XEN) PCI add device 00:10.2
(XEN) PCI add device 00:11.0
(XEN) PCI add device 00:13.0
(XEN) PCI add device 00:15.0
(XEN) PCI add device 00:16.0
(XEN) PCI add device 00:1c.0
(XEN) PCI add device 00:1c.4
(XEN) PCI add device 00:1c.5
(XEN) PCI add device 00:1d.0
(XEN) PCI add device 00:1d.1
(XEN) PCI add device 00:1d.2
(XEN) PCI add device 00:1d.3
(XEN) PCI add device 00:1d.7
(XEN) PCI add device 00:1e.0
(XEN) PCI add device 00:1f.0
(XEN) PCI add device 00:1f.2
(XEN) PCI add device 00:1f.5
(XEN) PCI add device 03:00.0
(XEN) PCI add device 06:00.0
(XEN) PCI add device 07:08.0
(XEN) PCI add device 0a:00.0
(XEN) PCI add device 01:00.0
(XEN) PCI add device 02:00.0
(XEN) PCI add device 0c:07.0
